#!/bin/bash
sed 's/\int\([^a-zA-Z]\)/Integer\1/g;s/\double\([^a-zA-Z]\)/Real\1/g'


sed 's/delete\([ ]*\)\([a-z_A-Z0-9]*\)/NULL_DELETE(\2)/g' $1 >NULL_DELETE/$1
